منابع مشابه
Positive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic (APAL), which restricts arbitrary public announcements to announcement of positive formu...
متن کاملNews/Announcements
The Massage Therapy Foundation presented the second Highlighting Massage Therapy in CIM Research conference, May 13 – 15, 2010. This three-day conference (supported in part by RI3AT005420 from the National Center for Complementary and Alternative Medicine) brought together massage and manual therapy practitioners, educators, CIM researchers, allied health professionals, and others interested in...
متن کاملResearch Announcements
1. Let M be a connected, orientable, triangulated 3-manifold and let A(Zw2(M) be a sub-group which is invariant under the operators in 7Ti(il/f). By a Ti(M)-class in 7r2(.M) we mean the set of elements ±£a, for some a£7r2( if) and every %ÇÎTI(M). The invariance under 7Ti(M) means that, if a £ A , then the entire 7Ti(Af)-class {+£#} is contained in À. A wi(M)-class is represented by a map 5—»M",...
متن کاملAsynchronous Announcements
We propose a logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents. Additional to epistemic modalities, the logic therefore contains two types of dynamic modalities, for sending messages and for receiving messages. The semantics defines truth relative to the current state of reception of messages for all agents. This means that k...
متن کاملResearch Announcements
It has been conjectured that a manifold which is a homotopy sphere is topologically a sphere. This conjecture has implications, for example, in the theory of differentiate structures on spheres (see, e.g., [3, p. 33]). Here I shall sketch a proof of the following theorem: Let M be a piecewise-linear manifold of dimension n^7, which has the same homotopy-type as the n-sphere S. Then there is a p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2020
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-020-09922-1